опровержимая формула

опровержимая формула

опровержимая формула
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужно решить контрольную?

ОПРОВЕРЖИМАЯ ФОРМУЛА — формально опровержимая в данной системе формула, замкнутая формула данной системы, отрицание к рой выводимо в этой системе. В. Н. Гришин … Математическая энциклопедия
НЕРАЗРЕШИМАЯ ФОРМУЛА — формула к. л. (логико математического) исчисления, одновре менно не доказуемая и не опровержимая средствами этого исчисления. (Соответственно формула, доказуемая или опровержимая в исчислении, наз. разрешимой в нем.) Термин Н. ф. прилагается, как … Философская энциклопедия

Словари и энциклопедии на Академике